//
// Created by ziya on 2023/3/8.
//

#ifndef ZIYA_OS_X64_KERNEL_H
#define ZIYA_OS_X64_KERNEL_H

#include "types.h"
#include "stdarg.h"

int vsprintf(char *buf, const char *fmt, va_list args);

int printk(const char * fmt, ...);

#endif //ZIYA_OS_X64_KERNEL_H
